Concurrency Control And Recovery In Database Systems
https://gyazo.com/9b9d94e1c76e1652f51f33c7cd3454f3.png
通称CC本.
Transactional Information Systems
は分散Txやページモデル等も含めて広い議論をしているが,
こちらはConcurrency Control特化.
短いので教科書ライクだが入手が難しい.
MVSR
の証明に重要な
Version Order
の存在意義についてはこの本しか言及していない.
まあ,MVSRのプロトコルって結局市中にひとつも出てないしね...
Index
CC Chapter 5